<!DOCTYPE html>
<html lang="en">
  <head>
    <meta charset="utf-8">
    <title>Pi Clock</title>
    <link rel="icon" type="image/png" href="favicon.png" />
    <link rel="stylesheet" href="style.css">
  </head>
    <body>
        <div id="bigpi">&#960;</div>
        <div id="pidigits">pi</div>

        <script src="defaults12.js"></script>
        <script src="userdefaults.js"></script> <!-- It's ok if this file is missing -->

        <script src="colors.js"></script>
        <script src="pi.js"></script>
        <script src="piclockdata.js"></script>
        <script src="piclock.js"></script>

    </body>
</html>
